push-out device - German English Dictionary